University of Manchester - PDFSEARCH.IO - Document Search Engine

University of Manchester
Results: 1471

#	Item
611	Lightbulb using graphene is to go on sale this year Add to Reading List Source URL: techxplore.com Language: English - Date: 2015-05-31 08:25:37 Knights Bachelor Nobel laureates in Physics Emerging technologies Materials science Graphene Graphite oxide Konstantin Novoselov Andre Geim University of Manchester Physics Chemistry Nanomaterials
612	PATRIOTIC COSMOPOLITANISM: CHINA’S NON-OFFICIAL INTELLECTUALS DREAM OF THE FUTURE William A. Callahan University of Manchester Add to Reading List Source URL: www.bicc.ac.uk Language: English - Date: 2012-06-14 17:07:37 Cai Guo-Qiang Zhao Tingyang Cai Religion in China River Elegy Han Chinese Chinese culture Asia Tianxia
613	Composite Connectors for Composing Software Components Kung-Kiu Lau, Ling Ling, Vladyslav Ukis and Perla Velasco Elizondo School of Computer Science, The University of Manchester Manchester M13 9PL, United Kingdom {kung- Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2007-11-27 20:17:41 OSI protocols Gender of connectors and fasteners D-subminiature Electronics Electronic engineering
614	Mixed Sharing Rules Richard Cornes [ANU] Roger Hartley [Manchester University] The problem • Each of n players supplies labour to a joint Add to Reading List Source URL: cmss.auckland.ac.nz Language: English - Date: 2013-03-26 15:07:16 Pareto efficiency Nash equilibrium Normal distribution Economics Mathematical analysis Statistics Game theory Fixed points Mathematical optimization
615	October 2014 • Issue Four Arizona Alumni Event: Join us at the Tempe Center for the Arts in Tempe, AZ on Thursday, April 16, 2015 from noon to 3 pm to view the exhibit: “Page and Screen” featuring art work from bo Add to Reading List Source URL: www.mcc.edu Language: English - Date: 2014-11-10 11:39:36 Michigan Community College Athletic Association Flint Michigan University of Michigan–Flint Mott Community College Monmouth Civic Chorus Manchester Community College North Central Association of Colleges and Schools Geography of Michigan Michigan
616	A Compositional Approach to Active and Passive Components Kung-Kiu Lau and Ioannis Ntalamagkas School of Computer Science, The University of Manchester Manchester M13 9PL, UK {kung-kiu,i.ntalamagkas}@cs.manchester.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2008-10-31 07:51:28 Software architecture Electronics Communicating sequential processes Process calculi Electrical components Passivity Wright Component-based software engineering JCSP Computing Software engineering Concurrent computing
617	Minutes of the 31st SOHO SWT Meeting University of Manchester, Manchester, UK 9 August Add to Reading List Source URL: soho.nascom.nasa.gov Language: English - Date: 2000-09-20 10:51:49 European Space Agency Space science Solar cycle Ana Space weather Soho Solar and Heliospheric Observatory Spaceflight Meteorology Space
618	Instantiations, Zippers and EPR Interpolation Nikolaj Bjørner, Arie Gurfinkel, Konstantin Korovin and Ori Lahav Microsoft Research, Software Engineering Institute, University of Manchester, Tel Aviv University Abstract Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-05-07 12:02:18 Model theory Automated theorem proving Boolean algebra Resolution Interpolation First-order logic Interpretation Unsatisfiable core Atomic formula Logic Mathematical logic Propositional calculus
619	PDF Document Add to Reading List Source URL: www.kcl.ac.uk Language: English - Date: 2015-04-28 07:58:56 Zoology Botany Faculty of Life Sciences University of Manchester
620	Component-based Construction of Concurrent Systems with Active Components Kung-Kiu Lau and Ioannis Ntalamagkas School of Computer Science, The University of Manchester Manchester M13 9PL, UK {kung-kiu,i.ntalamagkas}@cs.m Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2009-07-17 12:04:09 Concurrent computing Process calculi Communicating sequential processes Wright Electrical connector TRS connector System Component-based software engineering Software engineering Software architecture Computing

UPDATE